Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
231	Hylo20150515_BRAMA_Application Form Add to Reading List Source URL: www.eurofir.org Language: English - Date: 2015-05-20 06:44:03 C Cross-platform software E-learning Programming language theory Procedural programming languages Computing Software engineering
232	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
233	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
234	Language and Program Design for Functional Dependencies Mark P. Jones Iavor Diatchki Portland State University Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-10-02 11:00:21 Data types Type theory Functional programming Data modeling Database constraints Type class Monad Type system Functional dependency Software engineering Computing Computer programming
235	Efficient Memory Safety for TinyOS Nathan Cooprider Will Archer Eric Eide Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2007-11-16 19:26:49 Embedded operating systems Type theory Data types TinyOS Wireless sensor network NesC Procedural programming languages Type safety C Computing Software engineering Programming language theory
236	Object Orientation Chapter Sixteen Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:45:27 Data types Object-oriented programming Programming paradigms Type theory Primitive types Linked list Object C Programming language Software engineering Computing Computer programming
237	A Semantic Analysis of C++ Templates ? Jeremy Siek and Walid Taha , Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-17 16:43:13 Programming language theory Typedef Typename Type safety Template Struct Symbol Type system ALGOL 68 Software engineering C++ Computing
238	Assignment Alert! Assignment Alert lets your library know when you and your students will need to use the library to find materials for research assignments and large class assignments. This helps us to be informed and r Add to Reading List Source URL: www.mattapoisettlibrary.org Language: English - Date: 2014-09-05 11:41:42 C Software engineering Programming language theory Computing Library Library science
239	^_`Ta b_`Ta c_cTa dTac e_fTa Add to Reading List Source URL: vssmachinebouw.com Language: English - Date: 2014-05-14 07:20:03 ML Programming language theory Software engineering Computing
240	Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-11-21 05:56:58 Data types Object-oriented programming Programming language theory Subtype polymorphism Type system Polymorphism E Inheritance Lambda calculus Software engineering Type theory Computing

UPDATE